Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
311	Journal of Artificial Intelligence Research–567 Submitted 09/08; publishedAn Anytime Algorithm for Optimal Coalition Structure Generation Talal Rahwan Add to Reading List Source URL: jair.org Language: English - Date: 2009-04-21 14:18:39 Applied mathematics Numerical analysis Search algorithms Combinatorial optimization Algorithm Mathematical logic Genetic algorithm Dynamic programming Anytime algorithm Mathematical optimization Operations research Mathematics
312	Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz! ! Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:27:37 Model theory Conjunctive query Database theory Lemmas FO First-order logic Structure Craig interpolation Rewriting Mathematics Logic Mathematical logic
313	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
314	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.at.r-project.org Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
315	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.ma.imperial.ac.uk Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
316	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: mirror.mdx.ac.uk Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
317	SAND2002-0396 Unlimited Release Initially Printed March 2002, Updated October 2002 LOCA 1.1 Library Of Continuation Algorithms: Add to Reading List Source URL: www.cs.sandia.gov Language: English - Date: 2002-10-29 10:30:45 Structure Dynamical system Hopf bifurcation Stability theory Partial differential equation Pitchfork bifurcation Control theory Matrix Numerical continuation Bifurcation theory Mathematical analysis Mathematics
318	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.cnr.berkeley.edu Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
319	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: ftp.sunet.se Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
320	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: brieger.esalq.usp.br Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing

UPDATE